<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="libman.css">
<TITLE>
Suspended Goals: suspend
</TITLE>
</HEAD>
<BODY >
<A HREF="libman002.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="libman004.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H2 CLASS="section"><A NAME="htoc2">1.1</A>&nbsp;&nbsp;Suspended Goals: <EM>suspend</EM></H2>
The constraint solvers of ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP> are all implemented using suspended
goals.
In fact the simplest implementation of any constraint is to suspend it
until all its variables are sufficiently instantiated, and then test it.<BR>
<BR>
The library <EM>suspend</EM> contains versions of 
the mathematical constraints <CODE>&gt;=</CODE>, <CODE>&gt;</CODE>,
<CODE>=:=</CODE>, <CODE>=\=</CODE>, <CODE>=&lt;</CODE>, <CODE>&lt;</CODE>
which behave like this<SUP><A NAME="text1" HREF="libman002.html#note1">1</A></SUP>.<BR>
<BR>
<HR>
<A HREF="libman002.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="libman004.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
